Skip to content

Fix POM issues#390

Merged
mdoube merged 1 commit intomasterfrom
fix-pom
Dec 3, 2025
Merged

Fix POM issues#390
mdoube merged 1 commit intomasterfrom
fix-pom

Conversation

@ctrueden
Copy link
Copy Markdown
Member

@ctrueden ctrueden commented Dec 3, 2025

GitHub no longer supports git:// protocol.
And the tag needs to be HEAD for non-release builds.

GitHub no longer supports git:// protocol.
And the tag needs to be HEAD for non-release builds.
@mdoube mdoube merged commit 46d657d into master Dec 3, 2025
1 check passed
@mdoube
Copy link
Copy Markdown
Member

mdoube commented Dec 3, 2025

Thanks!

@ctrueden ctrueden deleted the fix-pom branch March 5, 2026 20:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants